//
// Created by ChaoDONG on 2021-03-23.
//

static unsigned long int next = 1; /* the seed */

int rand1(void)
{
/* magic formula to generate pseudorandom number */
    next = next * 1103515245 + 12345;
    return (unsigned int) (next/65536) % 32768;
}
void srand1(unsigned int seed)
{
    next = seed;
}